inductive synthesis

A method of inductive program synthesis by concept learning is presented in this paper.

本文介绍一种基于概念学习的归纳程序综合方法。

The application of mode inference in inductive program synthesis

模式推理在归纳程序综合中的应用

All the GDH-positive mutants including those obtained by nitrous acid treatment and those of spontaneous origin are capable of inductive synthesis of ADH.

所有GDH~+变种，包括自亚硝酸诱发突变或自发突变来源的，都能诱导生成ADH。

With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.

本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。

A Top-Down Method for Inductive Program Synthesis

自顶向下的归纳程序综合方法